open type (A -> B)
